package graphquerying.reachability;

import java.util.HashMap;

/**
 * GrilIndex for each R-Graph
 * @author BaiJian
 */
public class GRILIndex {
	
	/**
	 * Mapping from R-Node's id to its interval 
	 */
	private HashMap<String, Interval[]> intervalMapping = new HashMap<String, Interval[]>();

	public HashMap<String, Interval[]> getIntervalMapping() {
		return intervalMapping;
	}

	public void setIntervalMapping(HashMap<String, Interval[]> intervalMapping) {
		this.intervalMapping = intervalMapping;
	}
	
}
